Auto merge of #2809 - cardoe:config-updates, r=alexcrichton
authorbors <bors@rust-lang.org>
Wed, 29 Jun 2016 16:27:12 +0000 (09:27 -0700)
committerGitHub <noreply@github.com>
Wed, 29 Jun 2016 16:27:12 +0000 (09:27 -0700)
commit7e34d2c8d43038705cd44de8dd4eb05c8ed94aa1
tree7f31a7a05bdbdd9c696c7962ffded73c64435cdb
parent3323134500748e34710db4ae981dfd58e0d536e3
parent68792d783f80d65e496c6f8199cacda36cafc115
Auto merge of #2809 - cardoe:config-updates, r=alexcrichton

respect configure options for paths

This change causes the installed paths of some files to respect the options passed to configure. It additionally adds another option and removes an unused option.